Expérimentation de contextes de preuve et d'observateurs temporisés pour la validation d'un protocole avionique : Systèmes logiciels embarqués et temps-réel = Experimentation of proof contexts and timed observers for validation of an avionics softwareDHAUSSY, Philippe; ROGER, Jean-Charles; BONNIN, Hugues et al.REE. Revue de l'électricité et de l'électronique. 2007, Num 2, issn 1265-6534, 51-59, 61 [10 p.]Article

Une implémentation TOPCASED supportant un processus multi-formalisme de développement par transformation de modèles : Ingénierie à base de modèles = Supporting a Multi-Formalism Model Driven Development Process with Model Transformation, a TOPCASED ImplementationDUMAS, Xavier; GABEL, Sébastien; HONORE, Julien et al.REE. Revue de l'électricité et de l'électronique. 2009, Num 2, issn 1265-6534, 45-51, 62 [8 p.]Article